Consider the following problem: for an array a no reduction of n elements, and an integer b is chosen arbitrarily, find the minimum value of
Step1: Prove that b we need to find is equal to the value of a certain element in array a.
Easy to see:
So we have proved that b is a certain element in array a.
So we have found b satisfying and proved successful.