P
Initializing...
An integer-affine function nonnegative everywhere has zero slope · Prove2Me