Twierdzenie_Szemerédiego does not exist