Так, я правильно понимаю, что цепочка из последних трех комментов доказывает теорему о петухе шокке?