Constant Mapping to Identity is Homomorphism