Сумма внешних углов выпуклого многоугольника. Доказательства