P
Initializing...
Tangent counts are nonnegative at prime powers (they count divisors over `GF(p, e)`). · Prove2Me