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