theorem Th24: :: PCOMPS_1:24

for T being non empty TopSpace st T is T_2 & T is paracompact holds
T is regular