若 , 则有