勒维定理中去掉函数列的非负性假定