Isosceles_triangle_theorem loading ...