Problem: through a point P external to line ℓ construct the perpendicular to ℓ

Original label: Problem: through a point P external to line ℓ construct the perpendicular to ℓ