Now we prove that R is submodular.