Prueba espectativa de la resta en el fichero MatrizDSL.rb