Lý thuyết chia đa thức với một biến đã sắp xếp