“…Proof. In the proof of [7,Proposition 5.6], there is a construction of a strongly PV-closed difference field (k, s) and a difference torsor of (G m , x → x 2 ) which has no difference (k, s)-rational points. By Remark 7.4(2), this difference torsor is not trivial, hence we get the result by Corollary 7.7 (and Definition 7.9).…”