for M, N being non empty multMagma
for f being Function of M,N st f is multiplicative holds
equ_kernel f is compatible