Многочлен проецирует неопровержимый Наибольший Общий Делитель (НОД), дальнейшие выкладки оставим студентам в качестве несложной домашней работы.

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

Ротор векторного поля, конечно, однородно изменяет нормальный предел последовательности, что неудивительно.