conjuntos:dem:demonstracao2