Az ABCD konvex négyszögre teljesül AB⋅CD=BC⋅DA. Az X pont az ABCD négyszög olyan belső pontja, amelyre teljesül