4. (10 pts) Prove the following statement:Let l be a line and let A and B be points on opposite sides of l. Then there is a unique point O

E l with A * O * B.