La prueba es presentar una transformación, "T"[ ], que convierte un término arbitrario lambda en un combinador equivalente.