Source: http://www.cse.chalmers.se/edu/year/2018/course/TMV027/pumping-lemma.pdf