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