Countably Compact First-Countable Space is Sequentially Compact

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