for R being Ring
for I being Ideal of R holds
( I is proper iff not R / I is degenerated )