Интерполяционная формула Лагранжа для дискретной аналитической функции

Целью настоящей работы является доказательство теорем существования и единственности разложения Тейлора для дискретной аналитической функции, определенной на некоторой конечной части гауссовой плоскости. В частности, доказано, что каждая дискретная аналитическая функция, определенная на квадрате, совпадает со своим дискретным полиномом Лагранжа.