Sea un triángulo acutángulo $ABC$ con ortocentro $H$. Sean $BH, CH$ que golpean el circuncírculo de $\triangle ABC$ en $D, E$. Sea $P$ un punto en $AB$, entre $B$ y el pie de la perpendicular desde $C$ a $AB$. Sea $PH \cap AC = Q$. Ahora el circuncírculo de $\triangle AEP$ golpea $CH$ en $S$, el circuncírculo de $\triangle ADQ$ golpea $BH$ en $R$, y el circuncírculo de $\triangle AEP$ golpea el circuncírculo de $\triangle ADQ$ en $J (\not=A)$. Demuestra que $RS$ es la bisectriz perpendicular de $HJ$.