theorem Th4: :: ALGSTR_4:4

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