>>310
おっちゃん、どうも、スレ主です。
IUTの成立なみに期待できそうな定理でしょうか?w(^^