Deduccion infinita Capítulo 2