@peterrowlett right! So theorems don't always stay as big: by generalising, the part of the mathematical world they apply to gets smaller