lucas扩展定理