let and

Then, for some , we have:

and , and these are the smallest linear combinations.

But this means , and so is also a linear combination of and . This means that this linear combination is a multiple of (*) and hence, for some .

The proof is complete if you can show that . How can you do this?

(*) this should have been proven in your class or text at some point.