Separation principle for discrete‐time quasi‐one‐sided Lipschitz nonlinear systems. Issue 1 (9th December 2020)