P
Initializing...
The rational function of `eminusOne` is `q - 1`. · Prove2Me