Para probar que PQ es perpendicular a AB, se utiliza el criterio de congruencia LLL para los triángulos QPA' y QPB' para demostrar que los ángulos OPA' y OPB' son iguales.