Van Aubel's Theorem