Let and and Suppose and .

Evaluate