P
Initializing...
A natural-valued function attains a maximum on a nonempty finite predicate · Prove2Me