[plaguepilled]

Proving other theorems, which may themselves either prove further theorems or lead to direct applications. That's how the questions of "what to prove" often materialise.