>>289　の後半が意味が分からない
「見た目で判断」うんぬんが、数学の用語じゃないよね
つまりは、数学的主張とは違うと思うんだが、どうよ？