Чтобы убедиться :Лемма о накачке только для бесконечных регулярных языков?

Так что речь идет не о лемме о накачке и о том, как она работает, а о предварительном -условии.

Везде в сети можно прочитать, что регулярные языки должны проходить лемму о накачке, но нигде никто не говорит о конечных языках, которые на самом деле являются частью регулярных языков.

Таким образом, мы все могли бы согласиться, что следующий язык является конечным языком, а также регулярным, но он определенно не проходит лемму о накачке:

L = {'abc', 'defghi'}

Подскажите, пожалуйста, просто об этом никто не пишет или почему мы ошибаемся -или даже нет.