Constant Mapping to Group Identity is Homomorphism