λ非零的证据