theorem :: CARD_2:18

for M being Cardinal holds M +` 0 = M