Bất phương trình bậc nhất hai ẩn lý thuyết