theorem :: CARD_2:20

for K being Cardinal holds K *` 0 = 0 ;