Nested intervals theorem

Redirect to:

• Nested intervals#Theorem