van Aubel's theorem