How do I prove that #(-3, 0), (0,4), (3,0)# are the vertices of an isosceles triangle?