theorem Th22: :: IDEAL_2:19

for A being non degenerated commutative Ring
for q being Ideal of A
for M1 being Ideal of (A / q) holds (canHom q) " M1 is Ideal of A