"The formulation of a problem is far more often essential than its solution, which may be merely a matter of mathematical or experimental skill."