Deduccion infinita Capítulo 8