Deduccion infinita Capitulo 1