prove-earth-round-curvature-space[1]