ポンピング補題は補題とは何ですか？

これは私が見つけることができなかったものです-しかし、ポンピングレンマが単なるレンマであることが常に興味深いことに気付きました（特に、通常の言語、文脈自由言語などで同じ名前が付いているためです）。

補題は何ですか？

ラビンとスコット、有限オートマトンおよびそれらの決定問題の基礎論文では、ポンピングレンマは次の結果（定理9）のレンマ（補題8）として現れます。

$n$$n$$2n$

$\Longrightarrow$

$\{0^n 1 0^n : n \geq 0\}$