9.能斯脱[30]定理