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