Sean ABBcAc, BCCaBa, CAAbCb los cuadrados de Vecten exteriores, V el punto de Vecten correspondiente. La recta AV corta BcCb perpendicularmente en A". Definimos análogamente B", C". Entonces el circuncentro O" de A"B"C", el circuncentro O de ABC y el punto de Vecten V están alineados.