Proof. As above, we may assume that n is odd, or n = 2m, m odd. Assume first that n is odd. Writing n = x2 0+x2 1+x2 2+x2 3, we have by parity consideration that either exactly three odd xi’s, say x0, x1, and x2 or exactly one odd, say x0.
หลักฐานการ ด้านบน เราอาจคิดว่า n เป็นคี่ n = 2m, m คี่ สมมติครั้งแรก n ที่เป็นคี่ เขียน n = x 20 + x 21 + x 22 + x 23 เรามีพาริตี้พิจารณาทั้งสามว่าคี่สิของ พูด x 0, x 1 และ x 2 หรือว่าหนึ่งแปลก พูดx 0