If X has a ramification point i, the full subgraph X - {i} is the union of three chains, and if p - 1, q - 1, r - 1 are the lengths of these chains, the triple {p, q, r} is equal, up to a permutation, to one of the triples {1, 2, 2}, {1, 2, 3}, {1, 2, 4}, {1, 1, m} (for some m ≥1).
The vertex i belongs to 3 edges (Lemma 2), and there is no other ramification point (Lemma 7), so the full subgraph X - {i} is the sum of 3 chains X_1, X_2, X_3, each of which has a terminal vertex linked to i in X. Let {i_1, i_2}, {i_2, i_3}, ..., {i_{p-1}, i_p} be the edges of X_1, {j_1, j_2}, {j_2, j_3}, ..., {j_{q-1}, j_q} those of X_2, and {k_1, k_2}, {k_2, k_3}, ..., {k_{r-1}, k_r} those of X_3, with i_1, j_1, k_1 linked to i in X. We can assume that p≥q≥r≥1. Put
x=eip+2eip−1+⋯+pei1
y=ejq+2ejq−1+⋯+qej1
z=ekr+2ekr−1+⋯+rek1.
Since all the edges of X are of order 3 (Lemma 7), Lemma 8 gives ∥x∥2=21p(p+1), ∥y∥2=21q(q+1), ∥z∥2=21r(r+1). On the other hand, ei is orthogonal to ei2,ei3,…,eip, so (ei∣x)=p(ei∣ei1)=−21p; similarly (ei∣y)=−21q, (ei∣z)=−21r. The unit vectors ∥x∥−1x,∥y∥−1y,∥z∥−1z are mutually orthogonal, and ei does not belong to the subspace F that they generate; the square of the distance from ei to F is
1−(ei∣∥x∥x)2−(ei∣∥y∥y)2−(ei∣∥z∥z)2
=1−21p+1p−21q+1q−21r+1r
=1−21+21p+11−21+21q+11−21+21r+11.
Since this quantity is > 0, we have
(p+1)−1+(q+1)−1+(r+1)−1>1. (4)
Hence 3(r+1)−1>1, so r<2 and finally r=1. Then (4) gives
(p+1)−1+(q+1)−1>21 (5)
hence 2(q+1)−1>21, so q≤2. Finally, if q=2, (5) gives
(p+1)−1>61.hence p≤4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.