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