for M being Cardinal st not M is finite holds
M +` M = M