方程式
 2x=4
の解をx=2とする。2の約数の一つをpとすると、
 0p=0
が成り立ち不定となるので矛盾。よって、x=2は解ではない

これが正しい証明ということですか?