تزریق بیان

لم تزریق بیان می‌کند که s می‌تواند به ۵ زیر رشته تقسیم شود: s=uvwxy، که در آن vx غیرتهی است و طول vwx حداکثر p می‌باشد؛ بطوری‌که تکرار v و x در s، هر بار رشته‌ای را تولید می‌کند که خودش در زبان وجود دارد (این امکان وجود دارد تا رشته صفر بار تکرار شود که برای حذف v و x از رشته مفید می‌باشد). این فرایند تزریق کپی‌های اضافه v و x، همان چیزی است که از نام لم تزریق برمی‌آید.