Category:Field Homomorphism is either Trivial or Injection