3.3.2 变元换名规则