Доказательство 3 <tex>\Rightarrow</tex> 2 : 3 <tex>\Rightarrow</tex> 1 <tex>\Rightarrow</tex> 4 <tex>\Rightarrow</tex> 2. Разве нет? Остальное исправил.
[[Участник:Roman Livarsky|Рома]]
Изменил определение для <tex>p(x)|_{TL}</tex>.
[[Участник:Roman Livarsky|Рома]]
Ну наконец-то. Ладно, живи. [[Участник:Berezhkovskaya|Алёна]]