Twierdzenie_Parisa-Harringtona loading ...