theorem Th25: :: IDEAL_2:22

for A being non degenerated commutative Ring
for I, q being Ideal of A st q c= I holds
(canHom q) " ((canHom q) .: I) = I