Stars that were behind the sun (within the radius of the sun, geometrically speaking) were visible due to gravitational lensing