Let Ccb be the reflection of the C-excircle in the B-bisector. Define analogously Cbc, Cac, Cca, Cba, Cab. Let ra be the radical axis between Ccb and Cbc. Define analogously rb, rc. The lines ra, rb, rc concur.