HSG.GPE.B.4: Use coordinates to prove simple geometric theorems algebraically.