Let k be a perfect field and K be a finite extension of k(q), with q
transcendent over k. In Part I, we prove that a q-difference module over $K(x)$
is trivial if and only if its specialization at q =\xi is trivial for almost
all primitive roots of unity \xi.