Итоги голосования для комментария:
Svolod
Есть немного. Я бы сказал, классический случай подведения доказательства под заранее готовую мысль)