mamy
SC -
dC
'-'yUY
dC
dC
S<p + a/a ,A{Sip)
S(p
5<p = <p (xu + 6au) — ip(x) = {dv<p) 5au
9vip
Sa"
Z kolei
i w konsekwencji
9
SC = dllC5al*~(dllC)5lZ5av 9C
9„<p - S^C
Sa1' = 0.
Ponieważ stale Sa" są dowolne, mamy zachowanie wielkości
9C
= 0, gdzie T't = g^9^ - KC-
jest tensorem energii-pędu.