結局日高氏の証明の根拠は

> 数を代入してみてください。

なのかなあ。