I guess homological algebra must be worth at least a million theorems, then?