とりあえず
　Σ[j,k=0～3] η_jk (⊿x^j)(⊿x_k) = {Σ[j=0～3] γ_j (⊿x^j)}^2
とおこう。　γ が何なのか、今は分からない。
右辺を展開すれば
　2η_jk = γ_j γ_k + γ_k γ_j,
j≠k のときは 0 だから、γ_j と γ_k は反可換になってしまう。
複素数までの範囲には、そんな数はない。
反可換なγが3つ以下ならば、2x2 複素行列で表わせる。(パウリのスピン行列)
　σ_1 = [[0,1] [1,0]]
　σ_2 = [[0,-i] [i,0]]
　σ_3 = [[1,0] [0,-1]]
とおけば
　(σ_k)^2 = I,　σ_j σ_k + σ_k σ_j = 2δ_jk I,
を満たす。
　(エルミート表示をとったのは、パウリが物理学者だったから？
　{1, -iσ_1, -iσ_2, -iσ_3} はハミルトンの４元数の基底となる。)