P
Initializing...
A bounded natural-valued size attains a maximum · Prove2Me