7 拉密定理&动态拉密定理