Eを等式集合とする。
E├ x+y=y+x を帰納法で証明してください。お願いします。
ind