con lo de la presentación, me refiero a que expliques cosas como las siguientes: ¿qué querés probar en ese paso? ¿cómo lo probás?
y como te decía con respecto a suc, lo mas sencillo que se me ocurre es que suc es lo mismo que sumar uno.
luis