Email Post: Demonstração de dois teoremas sobre Sequências de Intervalos Encaixantes