Đa thức đối xứng ba biến