>>152

あなたの言う通りなら

仮定> 「AB=CDならば、」

証明>　「1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
証明>　これを、(z^p/1)=(x+y)に代入すると、zは自然数とならない。」

結論> 「B=Dのとき、A=Cとなる。」

こうなりますがあっていますか？
証明ってどういうものか知っていますか？
たとえば

仮定　三角形ABCの3辺のうち2つの辺がAB=ACならば

証明　△ABCと△ACBを考える。
証明　AB=AC,AC=AB,∠BAC=∠CAB
証明　「二辺とその間の角が等しい三角形は合同」という定理から
証明　△ABC≡△ACB
証明　合同な三角形の対応する角は等しいので

結論　2つの角∠ABC=∠ACB

こういうのが証明で、>>152は全くそういう風になっていないですね。
>>142の①も②も③も証明されていませんので
>>1の証明は間違いです。