Text this: Formalización de los algoritmos de suma y resta de fracciones