Twierdzenie o punkcie stałym dla niedodatniej krzywizny symplicjalnej.

Przypomnimy pojęcie kompleksu o niedodatniej krzywiźnie symplicjalnej. Podamy plan dowodu twierdzenia, że każda skończona grupa działająca na takim kompleksie posiada niezmienniczy podkompleks średnicy <=5. (Analogiczne twierdzenie dla metrycznie niedodatnio zakrzywionych przestrzeni mówi, że każda skończona grupa posiada punkt stały.)