Category:Ring Homomorphism from Field is Monomorphism or Zero Homomorphism