BnLemma
