BVL-->BVP last case (Op) proved