安定の下位予想