grothendieck imposed the relation formula_4. these generators and relations define formula_1, and they imply that it is the universal way to assign invariants to vector bundles in a way compatible with exact sequences.