>>840

> 自証分と証自証分が相互に確認し合う（…相即でしょう、でなければ無限遡及となる）ので無限遡及にならない。

これは相互に打ち消し合う、相殺すると言う意味でしょうか？