Ta chỉ cần chứng minh tồn tại cách thay đổi trạng thái các bóng đèn sao cho có đúng 1 bóng đèn bị thay đổi trạng thái.
Hiển nhiên m=1 hoặc n=1 thỏa mãn. Xét m,n \geq 3
Vì (2n,m)=1 nên theo bổ đề Bezout, tồn tại 2 số a,b \in \mathbb{N}^* sao cho a\cdot 2n-b \cdot m=1
Ta đánh dấu vòng tròn các...