Simple proof on homomorphism over generators