“…From (15) and the result of Proposition 3.1, we find that the transformation in each step can be expressed as a C ∞ function in (x, y, w n log(1 + x), w n log(1 − x)). Using Borel's theorem, there exists a function ψ(x, y, w n log(1 + x), w n log(1 − x)), formally equal to w ∞ , so thatψ is formally identically zero.…”