section_heading: Potpunost S-K baze
paragraph_text: Možda je zapanjujuća činjenica da S i K mogu biti komponirani za stvaranje kombinatora koji su ekstenzionalno jednaki bilo kojem lambda terminu, i stoga, po Churchovoj tezi, bilo kojoj izračunljivoj funkciji uopće. Dokaz se sastoji od uvođenja transformacije, T[&nbsp;], koja vrši konverziju proizvoljnog lambda termina u ekvivalentni kombinator.