In the $\lambda$-calculus.
Proposition: For any terms $M$,$N$ such that $M =_\beta N$, there is a term $L$ such that $L \twoheadrightarrow_\beta M$ and $L \twoheadrightarrow_\beta N$.
Is this true or false? A proof sketch or counterexample would be lovely.