Theoretical astronomy relating to the motions of the heavenly bodies revolving around the sun in accordance with the law of universal gravitation