P
Initializing...
Strict increase of a difference of large powers · Prove2Me