>>382
そもそも、>>381が示した命題
>命題　sin(x)∈K ⇔ i∈L
と私が示した命題が違う。
私の命題はこう見えても或る種の代数的構造を述べるモノだ。