>>11394063You laugh, but this can unironically be helpful. By taking away hypotheses, you can either prove it by manipulating fewer definitions, which is easier, or disprove the theorem by finding a counterexample, which should illucidate why exactly was the other hypothesis necessary and how does it come into play.
