Здравствуйте, De-Bill, Вы писали:

DB>Кажется, здесь особо нечему радоваться.

Почему?
Я так понимаю, что скоро такой подход можно будет активнее применять к доказательству теорем. Нет?