Category:Product with Inverse on Homomorphic Image is Group Homomorphism