Vì (m,n)=1 và m lẻ nên (m,2n)=1
Theo định lý Bozu trong số học, do (m,2n)=1, luôn tồn tại x,y nguyên dương thỏa mãn: mx = n.2y+1
Ta sẽ chỉ ra cách để tắt 1 bóng đèn bất kì đang bật (gọi là X) như sau:
Chọn m đèn liên tiếp, có đèn đầu tiên là đèn X. Thay đổi trạng thái rồi, chọn tiếp tục m đèn...