4: Una recta tangente a la circunferencia circunscrita del triángulo agudo $ABC$ ( $AC>AB$ ) en $A$ interseca con la extensión de $BC$ en $P$ . $O$ es el circuncentro del triángulo $ABC$ . El punto $X$ está sobre $OP$ tal que $\measuredangle AXP=90^\circ$ . Los puntos $E$ y $F$ están sobre $AB$ y $AC$ , respectivamente, y están en un mismo lado de la recta $OP$ tal que $ \measuredangle EXP=\measuredangle ACX $ y $\measuredangle FXO=\measuredangle ABX $ . $K$ , $L$ son los puntos de intersección de $EF$ con la circunferencia circunscrita del triángulo $ABC$ . Demuestra que $OP$ es tangente a la circunferencia circunscrita del triángulo $KLX$ . Autor: Mehdi E'tesami Fard , Irán