Lý thuyết rút gọn phân thức