Proposition: For any ring R the following conditions are equivalent (i) R is a semi-prime ring. (ii) Nil-(R) = 0. (iii) R has no non-zero nilpotent ideal. (iv) R has no non-zero nilpotent right ideal.