prove b