Deduccion infinita Capitulo 5