  n the present note, which is the first part of a work concerning the study of
the set of the symmetric states for Fermi systems, we describe the extension of
the De Finetti theorem to the infinite Fermi $C^*$-tensor product of a single
(separable) general $\bz^2$-graded $C^*$-algebra.
