"Nested intervals theorem"@en . . . "29"^^ . . . "7532424"^^ . "82645288"^^ .