<image>As shown in the image is the emblem of the International Congress of Mathematicians held in Beijing in 2002. The central pattern is the "String Diagram" after artistic processing, which contains a famous theorem, which is ___ .
