First Fundamental Theorem on Ring Homomorphisms