Product with Inverse on Homomorphic Image is Group Homomorphism/Examples