「全ての自然数n本の毛髪を持つものがハゲでない事」の証明
ユースケサンタマリアの毛髪の本数を N とする。

n≧Nのとき、n本の毛髪を持つものは明らかにハゲでない。

n=kのとき、k本の毛髪を持つものがハゲでないと仮定する。
ハゲでないものの毛髪が1本減ったところでハゲでないことには変わらない。
したがって(k-1)本の毛髪を持つものもハゲでない
n=k-1の時も題意が成立することが示された。

数学的帰納法により「全ての自然数n本の毛髪を持つものがハゲでない」事が証明された