If and , then .