Let \newtheorem declare the Pr@blem counter (old way seems to hang).