theorem Th50: :: TOPZARI1:36

for A, B being non degenerated commutative Ring
for h being Function of A,B
for M0 being Ideal of B st h is RingHomomorphism holds
h " M0 is Ideal of A