Lý thuyết quy đồng mẫu thức nhiều phân thức