Proving the Triangle Midsegment Theorem in Coordinate Plane