ポール・ディラック
so that is reduced to the diagonalized (this presupposes that is taken in the Dirac–Pauli representation (after Paul Dirac and Wolfgang Pauli) in which it is a diagonal matrix):