Who Mathematically Proved The Heliocentric Theory