 Small Invariance Theorem: The concept of information in a string x measured as the length of the smallest string of symbols s of a program for a universal Turing machine U such that \(U(s)= x\) is invariant, modulo an additive constant, under selection of different universal Turing machines 