謎を残しつつも

引っかかっていた定理の内容が、

謎を残しつつも一応解決。

謎を残しつつも、というのは定理の外にある注釈がわからないためです。

とりあえず先に進んでみることにします。明日ね。