Suppose Then
.