Suppose and Then
.