Let and and Suppose and .
Evaluate