スレタイの内容を主張したいなら、まずは、もう少しまともな
定理証明系をつくりなされ。　話はそれからだ。