>>224
Kはxxy, yyz, zzxの生成する対称式全体でK=C[xxxyyyzzz]?