Приведем несколько теорем, обосновывающих сходимость методов второго порядка.