for A being non degenerated commutative Ring
for I, q being Ideal of A
for a, x being Element of the carrier of (A / q) st x in (canHom q) .: I holds
a * x in (canHom q) .: I