That’s the entire thing! He read an account of a city so many miles away from where he was that on a specific day of the year had no shadows at noon. On that day in his city, shadows still were cast. If there was no discrepancies in the shadows that would make sense for a flat earth. But the discrepancy made him determine it had to be sphere and then he went out and calculated the circumference.