P
Initializing...
A cyclic shifted rational difference sum is nonnegative · Prove2Me