  As a simple corollary of a highly general framework for differential and
difference Galois theory introduced by Y. Andre, we formulate a version of the
Galois correspondence that applies over a difference field with arbitrary field
of constants.
