Deduccion infinita Capitulo 4