>>542の式がp=1に帰着しないことは証明できないということで宜しいですか？

542の式は、p=1とすると、r=yとなります。rが定まりません。

542の式のpに、2,3,4,5・・・・を代入しても、p=1を代入した場合と同じには、
なりません。