Eamonn Dunphy (a pundit on Irish TV) also said this and I'm almost sure it was in some of the British papers during the week, even Pele himself was talking about how good he is.
I think Pele got 6 goals in 4 games or something like that in the world cup of '58, and as far as i know 3 of those were in the semi and 2 in the final - not totally sure though.