"first isomorphism theorem" Deutsche bedeutung