HS.G.21: Use coordinates to justify and prove simple geometric theorems algebraically. (MP.2, MP.6)