P
Initializing...
Root (arbitrary actual Ricci-null pregeodesic field ⇒ G = 0) · Prove2Me