Question

We want to prove that every open set in R is the union of an at most countable collection of disjoint segments.
A. Baire's category theorem
B. Cantor's diagonal argument
C. Bolzano-Weierstrass theorem
D. Heine-Borel theorem