En el triángulo $ABC$ con circuncírculo $\Gamma$ , el incírculo $\omega$ toca los lados $BC, CA$ , y $AB$ en $D, E$ , y $F$ , respectivamente. La línea que pasa por $D$ perpendicular a $EF$ se encuentra con $\omega$ en $K\neq D$ . La línea $AK$ se encuentra con $\Gamma$ en $L\neq A$ . Los rayos $KI$ y $IL$ se encuentran con el circuncírculo del triángulo $BIC$ en $Q\neq I$ y $P\neq I$ , respectivamente. Los circuncírculos de los triángulos $KFB$ y $KEC$ se encuentran con $EF$ en $R\neq F$ y $S\neq E$ , respectivamente. Pruebe que $PQRS$ es cíclico.