Remark

Tag 069K, permanent. Cite it as [Bourbaki, Tag 069K].

As $\bar{e}'_\lambda = -e'_\lambda$ for $\lambda \neq 0$ ,

e'_\lambda{}^2 = -e_0 \quad \text{for } \lambda \neq 0,

e'_\mu e'_\lambda = -e'_\lambda e'_\mu \quad \text{for } \lambda \neq 0, \mu \neq 0 \text{ and } \mu \neq \lambda.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.