>>110
＞二つの方程式の解をパラーメータ表示すると
＞a,b,cやx,zをsとtのパラメータ表示で、整数解として表すことができる。x,zが整数となる
＞パラメータsとtにより、複数(無限)の整数解(a,b,c)が得らｂ黷驕B

ほらね、これも結局、x,z は (E_n) を　満　た　す　ように束縛してるんだろ？

「 x,z は (E_n) を満たす整数である 」

という束縛のもとで、対応する a,b,c が整数であることを主張してるんだろ？
それは実際に正しいんだよ。わざわざパラメータ表示とか必要なくて、
より一般的な>>84ですら成立している自明な現象にすぎないんだよ。

問題なのは、君が n＝5 のときに使っている x＝−10935, z＝8 は

E_5： −24 * 3090 ＝ 5X＋Z

を満たしてないということ。

E_5 を満たさない整数 x,z に対して、形式的に計算した a,b,c が
整数になってなくても、矛盾でも何でもない。