>では、あなたの証明>>542で使われている数式
x^p+y^p=(x+p^{1/(p-1)})^p…C
でも、右辺は計算不可能ということで宜しいですか?

Cは、pが、奇素数の場合ですので、計算可能です。