改进的次可加遍历定理 | Synapse