Prove that the bisector of the vertical angle of isosceles triangle is the perpendicular bisector of the base