[see also: presence
We first show that existence of a solution of...... provides a sufficient condition for optimality.
Given f and w, we shall prove the existence of a solution to (Q).
This result shows that the mere existence of a nontrivial automorphism j of M produces the cut I(j) of M that satisfies (2).