theorem :: IDEAL_2:23

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