>376
> それと別証明の証明をこの証明の中に記述しているということです。

それは切り出して証明すべきものですね

たぶん、そうやって途中から別のこと書くから混じっておかしくなってるんじゃないですかね？