Представьте теорему о сумме внутренних углов треугольника на естественном формальном языках
Это не информатика,а геометрия,ну ладно. Сумма внутренних углов равна 180 градусам.