theorem Th28: :: IDEAL_2:25

for A being non degenerated commutative Ring
for q being Ideal of A holds (canHom q) " ([#] (A / q)) = [#] A