Deduccion infinita Capítulo 1