Si P i Q són dos punts ciclocevians, els seus punts associats de Miquel P', Q' són isogonals i la recta PQ és paral·lela a P'Q'.