If , then

.