for M, N being Cardinal st not M is finite holds
( not M +` N is finite & not N +` M is finite )