Cette formule permet de démontrer que tout graphe simple planaire connexe, ayant au moins trois sommets, vérifie la majoration suivante.
Cette formule permet de démontrer que tout graphe simple planaire connexe , ayant au à le moins trois sommets , vérifie la majoration suivante .