つまり、チャーチ数は1引数関数を受け取り、1引数関数を返す高階関数である。