Corollary

Tag 0A22, permanent. Cite it as [Bourbaki, Tag 0A22].

The elements of $E_1^+$ are primitive. If $x \in E_1^+$ , then $c^+(x) = 0$ by (7), whence (5).

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

Cited by

Nothing.