Grötzsch's theorem

from Wikipedia, the free encyclopedia

Grötzsch's sentence stands for: