そうそう。

ここがかなり大事なところだと思う。

pk,qk,nを任意に与えるということは、yが完全数ではない場合があるということである。

だけど、高木さんはyは完全数である前提で話を進めてる。
これは完全数の定義式から話を進めていることから明らか。

これはyが奇数だと仮定しようがしまいが起こっていることで、

推論に矛盾が生じているから、結論も矛盾したものになる。

というのは理解できる？