Uniqueness of the coordinate independent Spin(9)×SU(2) state of Matrix Theory

We explicitly prove, using some nontrivial identities involving gamma matrices, that there can be only one Spin(9)×SU(2) invariant state which depends only on fermionic variables.