>>853

任意の次に存在が来る場合、任意で縛られている部分は
自由変数（たとえばｘ）で置き換えられるが、存在で縛られている部分は、
一般には ｘ の関数になってしまいますヨ。