GS.PAFR.3.1: Use coordinates to prove simple geometric theorems algebraically.