theorem :: NAGATA_1:15

for T being non empty TopSpace st T is metrizable holds
( T is regular & T is T_1 )