であったので, 両辺に をかけて … (1)また, … (2) … (3) … (4) と定義する.ビアンキの恒等式より 両辺に をかけると, 計量は の中に入れることができたから 添字を入れ替えると一部符号が変わって(この変換規則はまだ記事を書いていない) (各項に (1) を用い…