Since all squares are or and it follows that are in some order. WLOG, we ignore the order of (we drop the assumption of) and assume . Let .
Isaalang-alang namin ang . Dahil ang lahat ng kahon ay o at ito ang mga sumusunod na ay sa ilang mga order. WLOG, huwag pansinin namin ang order ng (drop namin ang mga palagay ng) At ipalagay . Hayaan .