>>570
定理のステートメントは不明ではない
記事に書かれている
君が理解できないだけのこと