(Оффтоп)
[off]А у меня одни столбики на уме ...
Тут, наверное, дело вот в чём. Каждый минимизирует контрпример в меру своей извращённости. Кому-то кажется, что достаточно ограниченности, и о чём ещё думать; ну а кому-то -- что и бесконечной дифференцированности хватит, раз уж её можно добиться, чего ж ещё и задумываться-то. Кто к каким пространствам привычен.
Ну так вот в этом примерчике просто ограниченности -- не хватит, просто по постановке задачи.
Но это, конечно, сугубо лирическое отступление.[/off]
тыпс. Я возмущён. Почему, собственно, вложенные оффтопики не работают?!...