Prueba de perpendicularidad