for Q, Q2 being multLoop
for f being homomorphic Function of Q,Q2
for h being Function of Q,Q st h in Mlt (Ker f) holds
f * h = f