Как гласит Лемма:
Например, следующий язык:
Вопрос: Как мы выбираем длину P? Почему бы не позволить P = p + 1?