Proofs for every regular expression under the atom!
This proof involves a series of nested parentheses.