B(x + y, z) = B(x,z) + B(y,z), \quad B(x, y+z) = B(x,y) + B(x,z) \\ B(\lambda x, y) = B(x, \lambda y) = \lambda B(x,y)