ここでプログラマはcodice_4が負でないという前提でコーディングしており、2で割った剰余は常に0か1だと考えている。