https://5dok.net/document/lq5vdwgy-two-algebraic-proofs-for-regular-languages.html