A Separation Theorem for a Class of MIMO Discrete-Time Nonlinear Systems