r1235
Let A, B, C, D be four concyclic points. The Euler lines of ABC, BCD, CDA, DAB concur.