Existencia y unicidad del plano perpendicular a una recta por un punto