Deset matematických vět o pražském orloji. (Czech) [Ten mathematical theorems on the Prague astronomical clock]. Pokroky matematiky, fyziky a astronomie, vol. 54 (2009), issue 4, pp. 281-300