A constructive method of establishing the validity of the theory of systems with non-retaining constraints