testing homomorphisms
succesfully passing test