Knuth Equivalence Theorem