拉姆塞定理:克里姆林宫屋顶上的红星会转动吗