Cette formule permet de démontrer que tout graphe simple planaire connexe, ayant au moins trois sommets, vérifie la majoration suivante.
1	Cette	ce	DET	_	Gender=Fem|Number=Sing|PronType=Dem	2	det	_	wordform=cette
2	formule	formule	NOUN	_	Gender=Fem|Number=Sing	3	nsubj	_	_
3	permet	permettre	VERB	_	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
4	de	de	ADP	_	_	5	mark	_	_
5	démontrer	démontrer	VERB	_	VerbForm=Inf	3	ccomp	_	Subject=Generic
6	que	que	SCONJ	_	_	20	mark	_	_
7	tout	tout	DET	_	Gender=Masc|Number=Sing|PronType=Ind	8	det	_	_
8	graphe	graphe	NOUN	_	Gender=Masc|Number=Sing	20	nsubj	_	_
9	simple	simple	ADJ	_	Gender=Masc|Number=Sing	8	amod	_	_
10	planaire	planaire	ADJ	_	Gender=Masc|Number=Sing	8	amod	_	_
11	connexe	connexe	ADJ	_	Gender=Masc|Number=Sing	8	amod	_	SpaceAfter=No
12	,	,	PUNCT	_	_	13	punct	_	_
13	ayant	avoir	VERB	_	Tense=Pres|VerbForm=Part	8	acl	_	_
14-15	au	_	_	_	_	_	_	_	_
14	à	à	ADP	_	_	17	advmod	_	ExtPos=ADV|Idiom=Yes
15	le	le	DET	_	Definite=Def|Gender=Masc|Number=Sing|PronType=Art	14	fixed	_	InIdiom=Yes
16	moins	moins	ADV	_	_	14	fixed	_	InIdiom=Yes
17	trois	trois	NUM	_	Number=Plur	18	nummod	_	_
18	sommets	sommet	NOUN	_	Gender=Masc|Number=Plur	13	obj	_	SpaceAfter=No
19	,	,	PUNCT	_	_	13	punct	_	_
20	vérifie	vérifier	VERB	_	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	ccomp	_	_
21	la	le	DET	_	Definite=Def|Gender=Fem|Number=Sing|PronType=Art	22	det	_	_
22	majoration	majoration	NOUN	_	Gender=Fem|Number=Sing	20	obj	_	_
23	suivante	suivant	ADJ	_	Gender=Fem|Number=Sing	22	amod	_	SpaceAfter=No
24	.	.	PUNCT	_	_	3	punct	_	_
