P
Initializing...
A strict pair-product bound above one · Prove2Me