From now on,
for
even,
for
odd. We
take
with
always positive
definite.
Suppose
is an oriented orthonormal
basis for
. If
with
, then
, and
. We restrict to the oriented case
, so
the expression
is independent of
. Thus
Since
, we get that if
is odd, then
is central in
; and for
even,
anticommutes with
, but is central in the even subalgebra
. Moreover, when
is even and
, then
, so that
.