>608
>存在証明だから全ての組み合わせは必要ないです。

その通りだと思います。
「任意の有理数」にしている理由は、pが奇素数の場合も同じ要領だからです。