Proof for Validity of Construction of a Perpendicular Bisector