topologia:dem:demonstracao1