codice_2はformula_1というカインドを持つため、これをcodice_9に適用するとformula_1カインドのcodice_4になる。