  We provide theoretical guarantees for recursive feasibility and practical
exponential stability of the closed-loop system of a feedback linearizable
nonlinear system when controlled by a robust data-driven nonlinear predictive
control scheme. This technical report serves as a supplementary material to our
recent paper "Data-driven Nonlinear Predictive Control for Feedback
Linearizable Systems". The arguments shown in this report follow similar steps
to those for the LTI case, since feedback linearizable systems are linear in
transformed coordinates. However, the proof was suitably adapted to match the
nonlinear setting under consideration, and the differences are emphasized
throughout the proof.
