sda1: Números naturales y divisibilidad.