heliocentric proof