Bilinear mul Vec norm le