<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
Which theorem has boundedness?
<|assistant|>
The Bolzano-Weierstrass theorem has a boundedness property. It states that if a sequence is bounded, then it has a convergent subsequence.