标签lucas定理