>>190
下から2行目だけど、
「要がないという仮定から、あるCiが存在し、任意のBjに対しCi -> Bjとなることと 」
じゃない？