Геометрия в деталях: доказательство теоремы многогранного угла