マジレスすると、>>1がまちがってることは
背理法で証明できる。

1) N=1はハゲではない
2) Nはハゲ → N+1はハゲ
を仮定してるが、例えばN=10^5はハゲじゃないんだから、
そもそも上の前提のどっちかが間違ってるってこった。

そうじゃないっていうなら、ハゲを数学的に定義しろ。