How do you prove a midpoint in geometry?