Lemma 4
Tag 0AY5, permanent. Cite it as [Bourbaki, Tag 0AY5].
Lie Groups and Lie Algebras, chapter VI, § 4. Classification of root systems
If there exists an edge of order , then .
Indeed, let be such an edge. If , one of the edges (say ) would be linked to a third vertex , since is connected. In view of the relation we would have
which is impossible (Lemma 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.