Radi jednostavnosti pretpostavimo da je
Dokaz. Ako je
za neki
onda nemamo što dokazivati, jer su tada obje strane u
(3.13) jednake nuli. Zato pretpostavimo da je
i
za svaki
Stavimo, radi kraćeg
zapisa
Iz ovog teorema proizlazi sljedeća ocjena greške. Neka je