reserve X,Y,Z,x,y,y1,y2 for set,
  D for non empty set,
  k,n,n1,n2,m2,m1 for Nat,

  L,K,M,N for Cardinal,
  f,g for Function;
reserve r for Real;

theorem Th6:
  (omega)*`(omega) = omega by Th5,CARD_2:def 2;
