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 [...].