P
Initializing...
For a non-zero-divisor `e`, `(e^d g) : e^d = (g)`. · Prove2Me