Property: prime

Definition: The product of nonzero right ideals is nonzero