私は諦めます - この問題はまだ解決できません。 もしかしたら別の日かもしれません... とりあえず、この問題を説明するこの大規模なコメントを残して、他のことに移ります。 ちょっと悲しいですが、証明の合成はこの作業に依存しています。 Dependent SupGenは、私がこれまで扱った中で最も難しいコードです。