次は[2]であるが、[2]は各桁の値を抜き出して、その値が9であることを確認しているだけである。
[3]も同様に、各桁の値を抜き出して、その値が0であることを確認しているだけである。

最後の[4]では、[2],[3]で抜き出した値が異なっていることを確認しているだけである。
実際、0と9は別の値である。

結局、[2],[3],[4]では、

(1)「桁ごとに比較すると、桁ごとに値が違う」

としか言っておらず、(2)の証明はどこにも含まれていない。