Countably Compact First-Countable Space is Sequentially Compact

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

Proof
Follows directly from:
 * Infinite Sequence in Countably Compact Space has Accumulation Point
 * Accumulation Point of Infinite Sequence in First-Countable Space is Subsequential Limit