theorem Th24: :: IDEAL_2:21

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