Establecida la prueba para restar matrices haciendo uso del DSL