>では、あなたの証明>>542でもp=7とすればp=1に帰着して計算不可能になるということで宜しいですか？

いいえ。違います。
542は、pが奇素数の場合です。
p=1の場合は、該当しません。