En 1986 papel, Harer y Zagier demostrado la recursividad:
$$(n+1)e(g,n)=(4n-2)e(g,n-1)+(2n-1)(n-1)(2n-3)e(g-1,n-2)$$
donde e(g,n) es el número de maneras de agrupar los lados $S_1...S_{2n}$ de una 2n-gon en n pares, de tal manera que, después de la identificación de los pares con la correspondiente orientación uno obtiene una superficie orientable de género g.
Su prueba es realmente indirecta, que consiste en las páginas de cálculos.
Hay una simple prueba de este hecho?