On the Occurrence of Commensurable Mean Motions in the Solar System: The Mirror Theorem