入力途中の誤送信、失礼しました！
最近に使い出した別アプリでの習慣に影響されて「単にEnterでなく、Shift＋Enterで、改行」するかと思いきや、ChMateでそれは「書き込む」ショートカットなのだ（つまりショートカットの意味が真逆）というChMate歴はそこそこ長いがまったく使用せず、よって見えていなかった手元の罠に何度もかかってしまいました。


>>496
＞Q1: 一般性を失わないということは、証明においてそのような前提をおいても問題なく証明が可能であるということを意味している。

＞Q２: x^n+y^n=z^nが同じ約数aを含んでいる場合には、x=ax', y=ay', z=az'として(ax')^n+(ay')^n=(az')^nが成立する。このとき、両辺をa^nで割ることにより(x')^n+(y')^n=(z')^nが成立し、x',y',z'は互いに素になる。そうであるから、変数が互いに素である場合だけを考慮すれば解が存在しないという問題を考慮する場合に問題がないということになる。このように証明すること独自でも何でもなく自明なことだ。

その「自明なことだ」は「あなたの中では自明なこと」でしょうから、正直どうでもよいけども、ハッキリと言及すべきは、aが『3つの整数x, y, zの最大公約数』ということでしょうね？

そして、それをもって「その3つのうちの任意の2つの整数（x, yやy, zやx, z）が互いに素である」を意味しませんよね？
ましてや以降の証明で、そのご自身の立てた前提を、そこまで歪曲（拡張解釈？）するかのごとく暗黙のうちに、論拠としてはいませんよね？