如果|a|=-a,则下列式子一定成立的是(  )