https://math.stackexchange.com/questions/1232463/how-to-prove-the-language-of-al...

		jwilk on March 5, 2022 \| parent \| context \| favorite \| on: A regular expression to check for prime numbers (2... https://math.stackexchange.com/questions/1232463/how-to-prov... has a proof for base 2. This method works for other bases too.

Nice!