Using a compass and straight edge construct this theorem. Through a point outside a line, there is exactly one line perpendicular to the given line.

Using a compass and straight edge construct this theorem. Through a point outside a line, there is exactly one line perpendicular to the given line.