Mean distance to the sun and a new graph theorem

The mean distance, over time, between a planet and its star is approximately the semimajor axis of its orbit.