Comenzando a comprobar el homomorfismo