[hutchisonc]

+1. The lemma is trivial not because the result isn't deep but because we have the right definitions.

[Koshkin]

This 'triviality' issue has reminded me of Grothendieck's "two styles in mathematics":

http://www.landsburg.com/grothendieck/mclarty1.pdf