Sea P(n) una propiedad de los términos de una sucesión (x).