Deduccion infinita Capítulo 6