P
Initializing...
A q-th root of unity close to 1 is trivial near V(p) · Prove2Me