Let ABBcAc, BCCaBa, CAAbCb the external Vecten squares, V its Vecten point. The line AV cuts BcCb orthogonally at A". Define analogously B", C". Then A", B", C" lie in the circumcircles of the Vecten squares.