Bài 5

Gán nhãn các ô theo ma trận 0–1 $L^{(1)}$. Định nghĩa giá trị thứ nhất của một trạng thái đèn là tổng nhãn tại các ô sáng, xét theo môđun 2. Với mọi ô, tổng nhãn trên dấu cộng cục bộ gồm ô đó và các ô kề cùng hàng hoặc cột là chẵn, nên tính chẵn lẻ này bất biến.