Deduccion infinita Capitulo 6