Но если Вы так настаиваете, то я могу ее туда добавить. Нет проблем.
Я в полном недоумении. Приведенная теорема не заменяет две ранее доказанные леммы, т.к. Вы на них сослались при доказательстве этой теоремы. Следовательно, эти две леммы - неполное доказательство, иначе зачем избыточная теорема? Однако сравним:
Лемма 2. Пусть у двух графов мини-коды совпадают. Тогда найдется перестановка
![$P$ $P$](https://dxdy-02.korotkov.co.uk/f/d/f/5/df5a289587a2f0247a5b97c1e8ac58ca82.png)
, такая, что для их матриц смежности
![$M$ $M$](https://dxdy-04.korotkov.co.uk/f/f/b/9/fb97d38bcc19230b0acd442e17db879c82.png)
,
![$M'$ $M'$](https://dxdy-01.korotkov.co.uk/f/0/f/2/0f2499041fc1b61072cd553b4a1deed782.png)
имеет место равенство
![$M = P^{-1}M'P$ $M = P^{-1}M'P$](https://dxdy-03.korotkov.co.uk/f/6/e/0/6e0003f9070c21e3c905a7f0f496c4fb82.png)
и
Теорема. Из равенства миникодов графов следует их изоморфизм.
Разве это не эквивалентные формулировки? То же самое сказано разными словами.