AをBと定義したときBならばAとなる

この主張を通すには2を偶数と定義できないことを立証させないといけないじゃん。
だから示したんだよ。定義したと言わないって。