>>643
おそらく任意の値で成立する証明法しか思いつかない
のだと思います。