let iC be infinite Cardinal; :: thesis: omega *` iC = iC
omega c= iC by CARD_3:85;
then A1: omega *` iC c= iC *` iC by CARD_2:90;
( iC *` iC = iC & iC c= omega *` iC ) by CARD_2:95, CARD_4:15;
hence omega *` iC = iC by A1; :: thesis: verum