fundamental theorem on homomorphisms