Как доказать что следующий язык в алфавите не является автоматным?

Saboteur, K = {w : длина слова w делится на три и средняя его треть состоит из одних букв a}