traducción de los comentarios en resta.c. Los otros comentarios son exactamente iguales