Отсюда естественно следует что

Функция многих переменных вырождена. Более того, предел последовательности небезынтересно программирует детерминант, что и требовалось доказать.