theorem :: FRECHET:34

ex T being non empty TopSpace st
( T is Frechet & not T is first-countable ) by Th32, Th33;