P
Initializing...
For `n ≥ 2`, the scalar `q⁻¹ - q^{-tri n}` is nonzero. · Prove2Me