Se una proposizione dipendente da un indice è vera per
ed inoltre, posta vera per
, risulta verificata anche per
, allora risulta vera per qualunque valore dell’indice
.
Se una proposizione dipendente da un indice è vera per
ed inoltre, posta vera per
, risulta verificata anche per
, allora risulta vera per qualunque valore dell’indice
.