theorem :: COMPLSP1:7

for n being Element of NAT holds the_Complex_Space n is regular