Sigui P un punt i r una recta; A', B', C' les interseccions de r amb els costats; A" la segona intersecció de PA' i la circumferència {PBC}, i definim anàlogament B", C". Llavors els quatre punts P, A", B", C" són concíclics.