Pを「Pが正しいならばフェルマー予想は正しい」という命題としよう。
Pの真偽を確かめるために、仮定の部分、つまりPが正しいを前提に推論しよう。
すると、Pにより、フェルマー予想が正しいことが結論できる。
つまり、Pが正しいことを仮定することによってフェルマー予想が正しいことが分かったのだ。
これは命題Pそのものである。よって、Pが証明された。
Pの仮定の部分は真なので、フェルマー予想も真。
よってフェルマー予想は証明された。d.q.n.