>>715
1は、一定の周期性があることを証明する。その周期がkによらず同じ
ことを証明するのか、とにかく周期性があることだけ証明すれば良いのか
については、どっちとも読み取れる。

2は、4点を通る直交双曲線がユニークであることを証明する。そもそも
そういう双曲線が有ることを証明すべきか、無い場合はどうなるのかに
ついては、曖昧。