必要前提