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