Sea un plano [math]\pi[/math] y un punto [math]B[/math] en dicho plano, entonces existe una recta perpendicular a [math]\pi[/math] en [math]B[/math]