Zárkózottság bizonyítása topológiai eszközökkel