燈馬想(Q.E.D.証明終了)