Prove that the formula phi x equals 3x defines a homomorphism Z4 - Z6 but does not define a homomorphism Z4-Z8?