>>873 はい、その定理は知っています。
それと私の質問にどのように関係しますか?