Deduccion infinita Capítulo 4