Submodular Minimisation Theorem