Another proof is the code of Stellarium, It uses the globe model to calculate the position of every object on the sky at any time, from any place. https://github.com/Stellarium