エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

対称式の基本定理・証明2・一般の場合

今回は一般の場合について証明します。基本対称式の定義をもう一度書いておきます。