Ну тут у Вас неаккуратно написано в том месте
а точно, я там когда переписывал, пропустил

в

, это как бы подразумевалось.
Т.е. должно быть:
1)


2) для


-- Пт окт 14, 2011 20:16:18 --во втором случае может случиться

).
ага, и при этом может оказаться, что

, а тогда не верно, что

. Вроде ясно.
В 1-м случае мы имеем переход

Вот это даже не могу сказать толи понимаю, толи не понимаю... А как узнать что я это понимаю? По идее за этим должна стоят более серьезная мат.логика, которую я возможно не так хорошо знаю.