Успешно выкопал из груды бумаг в большом нижнем ящике письменного стола пять маленьких листочков, скрепленных степлером -- записи про глупые фильтрации, сделанные в психушке в Москве летом 97 года. Первое впечатление: постановка задачи интересная, доказательства могут быть правильными, надо перепроверить. Жаль, нет комментариев к более простому утверждению на эту тему, формулировка которого обнаружена во введении к ненаписанной статье (осень 95) и анонсе в Обервольфахе (осень 99). Придется доказывать заново более простое утверждение (если получится). Update: нашел еще бумажек про глупые фильтрации (примерно тех же времен). Более простое утверждение, видимо, не доказывается в том виде, в котором я имел его в виду; там нужно некое дополнительное условие.