topologia:dem:demonstracao