Let I be a line and let f l IR be a function such that PQ for every P Q in l Prove that f is a coordinate function for I I need too show that it is 1 1