for L, K, M, N being Cardinal st K in L & M in N holds
( K *` M in L *` N & M *` K in L *` N )