Geometry :: Theorem :: Existence and Uniqueness of Perpendiculars

For every line \(l\) and for every point \(P\), there exists a unique line \(m\) such that \(P\) lies on \(m\) and \(m \perp l\).

You need not prove this theorem.