前提呼び出し

この関数には前提呼び出しはありません。