El grupo fundamental de un complejo simplicial (finito) tiene una presentación finita.