Deduccion infinita Capítulo 3