G.GPE.B.3: Use coordinates to prove geometric theorems algebraically.