On Equivalence of M${}^{\mathrm{♮}}$-concavity of a Set Function and Submodularity of Its Conjugate

A fundamental theorem in discrete convex analysis states that a set function is M${}^{\mathrm{♮}}$-concave if and only if its conjugate function is submodular. This paper gives a new proof to this fact.