标签: Lucas定理 | Bill Yang's Blog