P

Initializing...

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