>>447
基礎の公理では異なる対象による要素ループはできない
だから「異なるがほとんど同じもの」を並べることで、「ほとんどループのように
見なせる形」に持ち込んで残ったずれを評価するという論法だろう