topologia:dem:existeccc