Полнота по Тьюрингу лямбда-исчисления?

Как вы аргументируете тот факт, что лямбда-исчисление является полным по Тьюрингу (самым простым способом)?