A ring homomorphism is enough to get nonstandard analysis