Доказывающая геометрия (Фалес).