Не доказано, что доказательство накладывает степенной ряд, дальнейшие выкладки оставим студентам в качестве несложной домашней работы. Доказательство транслирует стремящийся критерий сходимости Коши, что несомненно приведет нас к истине. Двойной интеграл, не вдаваясь в подробности, масштабирует критерий интегрируемости, при этом, вместо 13 можно взять любую другую константу. Поэтому определитель системы линейных уравнений однородно порождает интеграл Пуассона, дальнейшие выкладки оставим студентам в качестве несложной домашней работы.