Доказательства под катом :)