If n is odd, we have by the case of (1, 1, 1, 1) that n = x20+x21+x22+x23 , where x3 = 2y3 can be assumed to be even, without loss of generality. Therefore n = x20+ x21+ x22+ 4y23 is of the required type.
ถ้า n เป็นคี่ เราได้ โดยกรณี (1, 1, 1, 1) ที่ n = x 20 + x 21 x 22 + x 23ที่ x 3 = 2y3 สามารถสันนิษฐานตามโดยไม่สูญเสีย generality ดังนั้น n = x 20 + x 21 + x 22 + 4y23 เป็นชนิดที่ต้องการ