1. The problem statement, all variables and given/known data I barely even know where to begin with this proof: Show that the product of two of the numbers 651000 - 82001 + 3177, 791212 - 92399 + 22001 and 244493 - 58192 + 71777 is nonnegative. I also have to state if it is constructive or nonconstructive, and I'm not supposed to evaluate the numbers. 2. Relevant equations 3. The attempt at a solution The most I can come up with so far is that the proof is likely "nonconstructive" since I am not out to find a single element to make the statement true; I have to determine it in another fashion.