Heawood en 1890 y demostrada para los casos de superficies orientables (y no orientables) no acotadas por Gerhard Ringel y J.