9-Point Circle Action (Part 3B)

Theorem: A triangle's 9-Point Circle bisects the segment that connects the triangle's orthocenter to any point on that triangle's circumcircle. (See below.) Note: C is the circumcenter of the triangle and O is its orthocenter. Feel free to move the triangle's gray vertices anywhere you'd like!