Ancient tables provided the sun's mean longitude. What is the theory about leap year called