theorem :: PCOMPS_1:25

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