Sea A'B'C' el triángulo círculoceviano de P. El triángulo círculoceviano  A*B*C* del isogonal P* de P es el producto désmico de ABC y A'B'C'.