2019-03-10 謎を残しつつも 引っかかっていた定理の内容が、 謎を残しつつも一応解決。 謎を残しつつも、というのは定理の外にある注釈がわからないためです。 とりあえず先に進んでみることにします。明日ね。