¿Cómo se demuestra perpendicularidad?