任意の2次元エルミート行列はパウリ行列の実係数の線型結合で表せることが判明したらしい