‘‘For every line `l` and for every point P not lying on a given line `l`, there exists a unique line `m` passing through P and parallel to `l`” is known as Playfair’s axiom.