for M, N being Cardinal st N <> 0 holds
( M c= M *` N & M c= N *` M )