theorem Th62:
  for X being discrete TopSpace, Y being TopSpace, f being
  Function of X,Y holds f is continuous
by TDLAT_3:16;
