We give a proof of theorem of S.M. Bates on smooth surjections between separable Banach spaces using a factorisation through an Orlicz sequence space.
We believe that this approach is less technical and more transparent than the original proof. (C) 2019 Elsevier Inc. All rights reserved.