>>320

三村さんは

>>316
の定理の応用例として

>>318
の話をしています。

>>316
の定理とは全く関係なく成り立つわけですが。