theorem :: CARD_5:19

for a being Aleph holds
( a +` a = a & a *` a = a ) by CARD_2:75, CARD_4:15;