Изменения

|statement=

<tex>\forall x, y\ \exists</tex> линейный функционал <tex>\mathcal{A} : \mathcal{A}x \ne \mathcal{A}y</tex>

|proof=

Рассмотрим <tex>x-y</tex>. <tex>\exists \mathcal{A} : \mathcal{A}(x - y) = \| x- y\|</tex>.