Deduccion infinita Capítulo 9