Theorem 2.1.9 (Church, Rosser, 1936). Assuming that:

  • M,N1,N2 are λ-terms such that M↠βN1,N2

Then there is a λ-term N such that N1,N2↠βN.