theorem Th19: :: IDEAL_2:16

for A being non degenerated commutative Ring
for I, q being Ideal of A holds (canHom q) .: I is Ideal of (A / q)