在公式xF(x, y)→yG(x, y) 中，变元x是（ ）
（A）自由变元
（B）约束变元
（C）既是自由变元，又是约束变元
（D）既不是自由变元，又不是约束变元