P
Initializing...
Counting an ordered set whose values grow by at least two · Prove2Me