Lý thuyết phương trình chứa dấu giá trị tuyệt đối