>>691
そこで定理1の応用を捜したところ、より詳しく次の事実が判明した。