[1XR] Sia N∈ℕ, sia P(n) una proposizione logica vera per n=N e tale che
allora P è vera per ogni n≥N.