A possibility is to add an assumption to converge more quickly to the proof. By doing so, the theorem becomes less general of course, but later the researcher can work on how to eliminate the assumption.

Thanks so much, Peter and Richard, for your valuable insights!