Lemma 1

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

For all $p, q, r, s$ in the algebra $F$ ,

a(pq, r, s) - a(p, qr, s) + a(p, q, rs) = a(p, q, r)s + pa(q, r, s).

The verification follows immediately from definition (1).

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

Cited by

Nothing.

Nothing.