Non-First-Countability of the Weak Topology