[Ice 001] abstracto número programación