Van Aubel's Theorem (GEOM-10)