Изменения

|proof=

1. Каждому помеченному дереву соотвествует последовательность и только одна. Это верно по построению кода.

2. Каждой последовательности соотвествует помеченное дерево и только одно. Это верно по предыдущей лемме, т.к. восстанавливали мы однозначно.

<br>