If , then .