Sea ABC un triángulo acutángulo con AB<AC. Sea Ω el circuncírculo de ABC. Sea S el punto medio del arco CB de Ω que contiene a A. La perpendicular por A por BC corta al segmento BS en D y a Ω de nuevo en E ≠ A. La paralela a BC por D corta a la recta BE en L. Sea ω el circuncírculo del triángulo BDL. Las circunferencias ω y Ω se cortan de nuevo en P ≠ B. Demuestra que la recta tangente a ω en P corta a la recta BS en un punto de la bisectriz interior del ángulo <BAC.