Premise: 5a is clearly due to much more than worksharing and is much larger than any savings.

Hypothesis: 5a is smaller than any of the savings.
Relation: contradiction