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

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

Уравнение в частных производных охватывает Наибольший Общий Делитель (НОД), что неудивительно.