for A being non degenerated commutative Ring
for q being Ideal of A
for x being Element of A st x in q holds
q % ({x} -Ideal) = [#] A