>>791,793
「証明」されたものが「定理」です
「証明」されていないものは「定理」ではありません

×「メガCDはCLVリード固定であり、CAVリード非対応定理」
○「メガCDはCLVリード固定であり、CAVリード非対応と予想」

予想 - Wikipedia
ttps://ja.m.wikipedia.org/wiki/%E4%BA%88%E6%83%B3

数学においては「予想」(conjecture) という語は、真であると思われてはいるが、
いまだに真であるとも偽であるとも証明されていない命題を指す。

例としては、リーマン予想、ゴールドバッハの予想、P≠NP予想がある。

予想がもし真であると証明されれば定理となり、
さらに他の命題の証明に利用できることになる。