Metric Space is Separable iff Second-Countable

Theorem
A metric space is separable iff it is second-countable.

Proof
Follows directly from:
 * Separable Metric Space is Second-Countable
 * Second-Countable Space is Separable