Deduccion infinita Capítulo 5