ВИФ2 NE

>>Пример был перед глазами.
>
>Пример не является доказательством :)

Да. Он только аргумент при поиске правильного решения.