inducción, la búsqueda de problemas afines, la comprobación