Seja ABCD um quadrilátero convexo, não circunscritível, sem lados paralelos. As retas AB e CD se cortam em E. Seja M ≠  E a interseção dos circuncírculos de ADE e BCE. As bissetrizes internas de ABCD determinam um quadrilátero convexo cíclico de circuncentro I e as bissetrizes externas de ABCD determinam um quadrilátero convexo cíclico de circuncentro J. Prove que I, J e M são colineares.