fix homomorphism proof (oops!)