codice_13は要素が数列の場合に利用可能で、1ずつ増加する数列以外も指定可能である。