Seisenberger: a proof for an infinite alphabet.