Isosceles triangle theorem