>>34
論理による証明で結構と言ってるじゃないですか