Definition:Nonvanishing