P
Initializing...
E = 0 with F = 0 gives Ricci = 0 · Prove2Me