 This is simply a consequence of the fact that any nonsingular matrix multiplied by its inverse is the identity.The 2 × 2 real matrix formula_1 is involutory provided that formula_2

The Pauli matrices in M(2,C) are involutory