NINE / MATH / TRIANGLE / Verification of properties of isosceles triangle