... (Henli). Giả sử trên [a, b] đợc xác định một họ vô số các hàm số E = {f(x)} nếu tất cả các hàm số của họ và biến phân toàn phần của tất cả các hàm số đó đều giới nội bởi cùng một số, tức là13 ... = (x) - f(x)cả hai hàm số này đều tăng và |(x)| k , |v(x)| 2káp dụng bổ đề 2.1.2 vào họ {(x)} , nlimk(x) = (x).Mỗi hàm số k(x) ứng với một hàm số {vk(x)} ta lấy ra đợc ... Thật vậy, giả sử v(x), (x) là hai hàm số tăngf(x) = (x) - v(x).Theo định lý 1.1.1, (x), v(x) là các hàm số tăng nên (x), v(x) là các hàm số với biến phân giới nội.áp dụng định lý 1.1.3,...