theorem :: IDEAL_2:42

for A being non degenerated commutative Ring
for p being prime Ideal of A
for q being Ideal of A
for x being Element of A st q in PRIMARY (A,p) & not x in q holds
q % ({x} -Ideal) in PRIMARY (A,p)