P
Initializing...
Lifting identity for binary digits of $c\cdot 9^t$ · Prove2Me