First-Countable Space is Sequentially Compact iff Countably Compact

Theorem
A first-countable topological space is sequentially compact iff it is countably compact.

Proof
Follows directly from:
 * Sequentially Compact Space is Countably Compact
 * Countably Compact First-Countable Space is Sequentially Compact