いや、辺の長さは定義だが、対角線二等分は定義から導かれる性質だ。だから非ユークリッド空間では対角線が互いに他を二等分しない正方形も定義できる。
カラスに例えれば、「白いカラス」は悪魔の証明になるが、「胎生のカラス」は論理的に非存在を証明できる。
このように、厳密な論理学のタームを決して厳密には定義し得ない現実世界に故意に持ち込むことが「悪魔の証明」を求める者共の手口であり、無自覚に同じ土俵で批判することは似非科学に与する行為であると言える。