Leite, A. H. S.; Françozo, R. V. Demonstração De Dois Teoremas Sobre Sequências De Intervalos Encaixantes. C. Q. D. 2023, 23, 97-104.