The “S” in stands for special, meaning that , then .
.
The condition obviously requires . It turns out that the converse is true as well and so as shown in the following.
Let ,
, and
.
Then any matrix in can be represented by . By the linearity of . We can show that and thus as long as we can show
.
Note that , .
Thus,
and for ,
.
Similarly, we can show .
Finally, note that , , and .