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