公式 的约束变元为________，自由变元为________。