Interesting. Indeed, proving theorems that are stronger and more general "accidentally" than what you really need is not a bad thing.