Математические истины: равные отрезки всегда одинаковой длины