Step 1: Two infinite fields are isomorphic if there exists a bijective ring homomorphism between them.