To know a geometric truth (e.g., that an isosceles triangle has two equal base angles), the mathemat...