Task: Misc.
Input (English): Category: MATH TERMS 
Clue: A theorem includes this series of steps, starting with a given & ending with a justified conclusion
Output (English): proof