Список проголосовавших за комментарий "Антон Денисков (Fry), тоже так думаю. Просто хотелось не практического, а теоретического доказательства. Может быть удастся здесь его вывести."