Доказательство: сумма числа граней в любом выпуклом многограннике