Formal definition of the problem. Main result.