Así que, un número de Church es una función de alto nivel -- toma una única función "f" como parámetro y otra función de parámetro único.