Estas propiedades son suficientes para que la matriz sea totalmente unimodular (TUM) (pero no son "necesarias").