Ну, вроде, похоже, заделывается. Формулировка теоремы из раздела 3 в текущей версии совершенно неверная. Правильное условие там гораздо сложнее и сильнее.