<image>The image shown is the emblem of the International Congress of Mathematicians held in Beijing in 2002. The central pattern is an artistically processed "string graph", which embodies a famous theorem known as ______.