1: \begin{lem}

2:   \label{lem:bicyc_not_rat}

3:   The bicyclic monoid $B = \Mon{b,c}{bc = 1}$ does not have rational word problem.

4:   \begin{proof}

5:     This can be proven by applying the Pumping Lemma~\ref{prop:async} to 

6:     $(\s{b}^{n_0}\s{c}^{n_0}, \varepsilon)$ where $n_0$ is the constant

7:     guaranteed to exist in the statement of Proposition~\ref{prop:async}.

8:   \end{proof}

9: \end{lem}

10: