0 in Segm 1 by CARD_1:49, TARSKI:def 1;
then 1 *^ (exp (omega,a)) is Cantor-component by ORDINAL5:def 9;
hence exp (omega,a) is Cantor-component by ORDINAL2:39; :: thesis: verum