7.2 Danielson-Lanczos引理