for n being Element of NAT holds the_Complex_Space n is T_2