P

Initializing...

Along a descent the term never decreases and the version strictly increases · Prove2Me