Vì n số x1,x2,x3,... ,xn mỗi số bằng 1 hoặc -1.
=> n tích x1x2; x2x3; x3x4; ...;xnx1 mỗi tích bằng 1 hoặc -1
Mà tổng n h trên bằng 0
=> số tích=1 sẽ bằng số tích= -1 (=n:2)
=> n chia hết cho 2
Ta thấy: (x1x2) (x2x3) (x3x4) ...(xnx1) = (x1)2. (x2)2 .(x3)2... (xn)2 =1 >0
=> số tích bằng -1 phải là số chẵn
=> n:2 là số chẵn => nchia hết cho 4