Le lemme de König en photo

Vu sur Flickr
Le lemme de König est un lemme de la théorie des graphes que l'on doit au mathématicien hongrois Dénes König. Il énonce que :
Tout arbre infini à branchement fini a une branche infinie.