>>63
論理的には前提が正しい必要は無いらしい