Homework help coorinate variable proofs