Первое доказательство теоремы 1 показывает, что даже если мы не предполагаем симметричности (или положительной определенности) матрицы П, решение И будет симметрично и неотрицательно определено (на самом деле, положительно определено с вероятностью 1). Поэтому нет никакого смысла предполагать симметрию на этом шаге. Тем не менее мы приводим два доказательства теоремы 1, где используется симметричность. Эти результаты нам понадобятся при обсуждении условий второго порядка (матрица Гессе и информационная матрица).