前提が定義されていない