墊襯引理(Padding lemma)反映部分遞歸函式能行枚舉{外}PE‘基本性質的一個引理:設件為任何部分遞歸函式，其下標為。，則必定可以能行地找到外的無窮多個不同的下標，故日00x (}P=}s).因此，在能行枚舉{}P.}}.E‘中，任何部分遞歸函式必定出現無窮多次，即任何部分遞歸函式必有無窮多個下標.不僅如此，由賴斯定理知，任何部分遞歸函式外的全體下標組成之集B(e)一{二任叫}P}. _ }P=}必定是非遞歸集合.
