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