0 in Segm n by ORDINAL3:8;
hence n *^ (exp (omega,a)) is Cantor-component by ORDINAL5:def 9; :: thesis: verum