P
Initializing...
Binomial expansion of (u+2v)^{2^n} modulo 2ⁿ⁺² · Prove2Me