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 mat

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.