Suppose that and . If