The perpendicular bisector of BC cuts AB at Ab and AC at Ac. Define analogously Bc, Ba, Ca, Cb. Then the perpendicular bisectors of BcCb, CaAc, AbBa concur.