Si P i Q són dos punts ciclocevians, els seus complements isotòmics P^ i Q^ són isogonals.