Xét n tích \(x_1x_2;x_2x_3;...;x_nx_1\)mỗi tích có giá trị bằng 1 hoặc -1 mà tổng của chung bằng 0 nên số tích có giá trị bằng 1 bằng số tích co gia trị bằng -1, và đều bằng \(\frac{n}{2}\). Vậy n chia hết cho 2
Bây giơ ta sẽ chứng minh số tích có giá trị bằng -1 cũng là số chẵn.Xét A=(\(x_1x_2\))(\(x_2x_3\))...(\(x_nx_1\))
Ta thấy A= \(x_1^2.x_2^2...x^2_n\)nên A=1>0, chứng tỏ số tích có giả trị -1 cũng là số chẵn, do đó n chia hết cho 4