theorem :: AIMLOOP:52

for Q, Q2 being multLoop
for f being homomorphic Function of Q,Q2 holds lp (Ker f) is normal