エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

対称式の基本定理・証明4・3変数の場合

また別のやり方で証明してみます。まず3変数までの場合です。