852 байта добавлено,
22:48, 29 апреля 2012 == ToDo ==
* Я считаю, что, раз мы доказываем более сложный факт, чем неравенство некоторых классов (а именно, невключение), его и нужно вписать в формулировку теоремы (тем более, что у меня формулировка не такая, как у тебя).
* В ограничении <tex>s \leq \ldots</tex> стоит написать <tex>S</tex> заглавной (просто мы обычно большой буквай обозначаем).
* Вместо «т.к.» пиши лучше «так как».
* Доказательство для пущей читабельности стоит разбить на большее количество абзацев (по моим прикидкам +2).