Hola, en esta demostracion empiezan suponiendo que FV (𝛼) ⊆ {𝑥} , no entiendo para que suponen eso, es para decir que no hay mas variables libres que esa o se necesita que este libre en alpha? Porque al estar x cuantificada podría hacer la prueba igual sin suponer eso no?
Muchas gracias.
