Completeness of the real numbers
Bolzano–Weierstrass theorem

The Bolzano–Weierstrass theorem states that every bounded sequence of real numbers has a convergent subsequence. Again, this theorem is equivalent to the other forms of completeness given above.
oulipo:avoid_letter[o]