[see also: reformulate, restate, rewrite
As usual, we can rephrase the above result as a uniqueness theorem.
A rephrasing of the definition is that......