P
Initializing...
Σ_{pq} C^a_{pq} k^p k^q = 0 on U · Prove2Me