対偶を使って証明すると、
「２つの関数の差が定数でないとすると、それらの関数の導関数は
等しくない」を示そう。
Ｆ（ｘ）－Ｇ（ｘ）＝ａｘ＋ｂとおく。ａ≠０
両辺を微分して、
Ｆ´（ｘ）－Ｇ´（ｘ）＝ａ
ａ≠０より、Ｆ´（ｘ）－Ｇ´（ｘ）≠０
したがって、
Ｆ´（ｘ）≠Ｇ´（ｘ）