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