conjuntos:dem:demonstracao3