theorem Th62: :: TEX_2:62

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