Deduccion infinita Capitulo 3