Any Lifting of a Trace Coding is a Word Coding