conjuntos:dem:demonstracao6