Topologischer Raum/Garben/Morphismen/Gleichheitstest in Halmen/Fakt/Beweis