there exists a unique line m passing through P and parallel to l ” is known as Playfair’s axiom.