Supóngase que si para todo β < α vale P(β), entonces P(α) vale también.