証明

ん〜、Xを定義にしているけど、Aも仮定として必要な気がするなあ。「なら反例を挙げてください。僕はXならばAだと思います。」といわれた。いや、まてや。証明するほうが立証責任があるんじゃないのか? だって、XならばAが証明できたら、Aが仮定として必要ないことが分かるけど、XならばAでないことが証明できても何も起きないもの。