codice_9はcodice_11メソッドのみの定義である。