Distance Formula, Coordinate Proofs