Deduccion infinita Capitulo 2