Well, by definition of an eigenvector, each b_i will be a root of the product (this product being a linear map). Since the set of all eigenvectors constitutes a basis of the vector space on which this linear mapping is defined, that simply means that the mapping must be identically 0 on all the space (since a linear mapping is uniquely defined by the values it takes on a basis).