Revised problem formulation.
Completed problem proof.