すなわち、任意のcodice_1について、codice_2が成立することである。