Let \( M \) be a lambda term. If \( M \multiBetaReduction N_1 \) and \( M \multiBetaReduction N_2 \) for some lambda terms \( N_1 \) and \( N_2 \), then there exists [...] such that [...].
Confluence is also called the Church-Rosser theorem.
There are three corollaries of the confluence theorem listed on the back side. Can you remember them?