Ajtai-Szemerédiの定理のSolymosiによる証明

これは好きな証明Advent Calendarの22日目の記事です。