Does there exist a nontrivial homomorphism from R to Z?