Countable compactness

• Does the Bolzano–Weierstrass Property Imply Countable Compactness?
  Yes: sequential compactness implies countable compactness, and the limit-point form of Bolzano–Weierstrass does too for T1 spaces.