In two books of Dantzig, there is a theorem which attribute to Tucker, but no citation is provide. Generally, every one unrestricted variable can be transformed two non-negative variables. It says that n unrestricted variable can be transformed n+1 non-negative variables, instead 2n variables.
How this result can be proved, or where can find the proof?