El procedimiento es válido considerando que los elementos de lo que queremos demostrar pertenecen a un conjunto inductivo.