The proof of non-regularity is a bit convoluted. You can easily apply the pumping lemma there