Compact Implies Sequentially Compact