It's a definition. I suppose definitions are tautologies by definition though :)

And yeah, the real insight is not the definition but the fact that tacit knowledge is inevitable and important, and that trying to eliminate it will be actively counterproductive.