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

Also written as G-GPE.4 or G.GPE.4