p+q=rのとき、√p+√q≡√r mod nを満たすnについて

問題 を素数とする。のとき、を満たすをの場合に探索した。 プログラムは過去記事参照のこと、 sky-time-math.hatenablog.jp 例 予想 を素数とする。のとき、を満たすが存在するための必要条件は、 である。 証明できた方、証明を知っている方がいたら教えていただきたいです。