Y siendo BNO=BLM es BNO ~ BLM formula_17 por el primer corolario de la definición.