... ta có: f(a1,a2, , ai, , an) ≥ f(1,a2, , a1ai, , an).Mệnh đề 1 chứng minh xong! Nó sẽ cho phép ta đưa bài toán về 1 biến.Mệnh đề 2: Ta sẽ luôn đưa được bài toán về trường hợp có ... toán này ta có ngay f(0,a+ b, c, d) ≤127và có thể chuyển (2) về (1). Tuy nhiên, với các bài phức tạp thì dạng (2) sẽtỏ ra rất có ích, đặc biệt là trong kó thuật dồn biến tổng quát cho n số ... "xương sống" của các định lý này là bổ đề dãy số, một kết quả cho ta cảm giác rõ ràng thế nào là dồn biến.Trong mục này, chúng tôi sẽ cung cấp cho các bạn một định lý dồnbiến rất tổng quát...