ここで、１＝０の場合は除外して考える。

９＝８．９とすると、
＊１０して、
９０＝８９となり1＝０となる。矛盾　∴９≠８．９
９＝８．９９とすると
９００＝８９９となり１＝０となる。矛盾　∴９≠８．９９
９＝８．９９９とすると、
９０００＝８９９９となり、１＝０となる。矛盾　　∴９≠８．９９９
　：
　：
９≠８．９９９・・・