añadiendo tests para resta