P
Initializing...
Integer terms from a consecutive-product square invariant · Prove2Me