for A, B being non degenerated commutative Ring
for h being Function of A,B
for E being Subset of A st h is RingHomomorphism holds
(Spec h) " (PrimeIdeals (A,E)) = PrimeIdeals (B,(h .: E))