Actually a lot of things get proved first for narrower domains (because it can be easier to prove,) and then get generalized to larger sets and maybe get really general! eventually. This was a great insight one of my college profs gave me.