If , and , then