76 A theorem about prime ideals

I prove the following fact about prime ideals: Let P be a proper ideal of a ring R. Then P is a prime ideal of R if and only if R/P is a domain.