Obviously, in any column there will be at least two lights with the same status -- say 0=off, 1=on. There are thus six possible configurations: 00x, 0x0, x00, 11x, 1x1, and x11. ("x" stands for "don't care".) As there are seven columns, at least one configurations must be repeated, and we thus get our rectangle. |