交通信号灯接线:一道证明题