Tengo varios para todos en lo que tengo que demostrar, en las demostraciones de examen siempre veo que toman uno e inducen pero es lo mismo hacer inducción en cualquiera(sus variables estan en el mismo conjunto) o hay algún criterio que no estoy viendo?