If and , then