đóng phần này của thư viện Đại số tổ hợp (1)
Xem tài liệu Các tính chất tổ hợp của đa thức Grothendieck