Preder - Geriadur ar stlenneg

sous l'hypothèse que la propriété soit vérifiée par En , on ―e qu'elle est alors vérifiée par En+1 o c'houlakaat ez eo gwir ar perzh evit En , e tienaer ez eo gwir evit En+1 [récurrence : raisonnement &]