im Kontext Padding die Aussage, daß unter schwachen Voraussetzungen an die beteiligten Funktionen aus \begin{eqnarray}\text{DTIME}({t}_{1}(n))\subseteq \text{DTIME}({t}_{2}(n))\end{eqnarray} (DTIME) für Funktionen f(n) ≥ n\begin{eqnarray}\text{DTIME}({t}_{1}\circ f(n))\subseteq \text{DTIME}({t}_{2}\circ f(n))\end{eqnarray} folgt.

Mit dem Translationssatz lassen sich Hierarchien (Hierarchiesatz) verfeinern. Mit der Methode des Padding läßt sich der Translationssatz beweisen.