for A, B being non degenerated commutative Ring
for h being Function of A,B st h is RingHomomorphism holds
Spec h is continuous