The second claim follows from the first one by definition. The first claim is a corollary to the results

(i)	R457: Fréchet space iff singletons are closed
(ii)	R74: Finite union of closed sets is closed

$\square$