Hans verk om himlakropparnesrörelse