theorem :: PCOMPS_2:7

for PT being non empty TopSpace st PT is metrizable holds
PT is paracompact