Neka je ABCDABCD konveksni četverokut čije se dijagonale sijeku u točki EE. Pravci ABAB i CDCD sijeku se u točki PP, a pravci ADAD i BCBC u točki QQ. Neka je XX sjecište kružnica opisanih trokutima EBCEBC i EDAEDA različito od EE, a YY sjecište kružnica opisanih trokutima EABEAB i ECDECD različito od EE. Konačno, neka je WW sjecište kružnica opisanih trokutima PBCPBC i PDAPDA različito od PP. Dokaži da su trokuti WQYWQY i WXPWXP slični.