前ページのように仮定すると、このような矛盾が生じます。 よって、6行目の右端は線が引かれます。