först upptäckt att jorden gär rundt?