Deduccion infinita Capítulo 7