Представьте теорему о сумме внутренних углов треугольника на естественном формальном языках ЭТО ИНФОРМАТИКА !
Теорма о сумме углов треугольника классическая теорема евклидовой геометрии утверждат что сумма углов треугольника на карликовой плоскости равна 180°