Ta thấy các số hạng trong S nhận giá trị là 1 hoặc -1.
Từ đó thì số số hạng của S là chẵn tức n chia hết cho 2.
Giả sử số số hạng âm và dương trong S là m.
Ta có: [tex]a_1a_2a_3a_4.a_2a_3a_4a_5...a_na_1a_2a_3=(a_1a_2...a_n)^4> 0[/tex] nên số số hạng âm trong S chẵn.
Từ đó m chia hết cho 2 nên n chia hết cho 4.