A separation theorem for a class of MIMO discrete-time nonlinear systems