前提が正しければ