Grotzsh's Heawood coloring theorem
scientific article; zbMATH DE number 3467135