Y by doxuanlong15052000, Adventure10, Mango247
Let
be four lines in plane. Let
be orthocenter of triangle bound by
.
is orthopole of
with respect to triangle bound by
.
lies on
such that
. Define similarly
. Prove that
are concyclic.










