for M, N being Cardinal holds
( M c= M +` N & N c= M +` N )