>>112
Xは既に定義されてるの?自由変数なの?任意のXなの?