Metrizable implies compactly generated

Statement
Any metrizable space is a compactly generated space.

Facts used

 * 1) uses::Metrizable implies first-countable
 * 2) uses::First-countable implies compactly generated

Proof
The proof follows from fact (1) and fact (2).