Premise: Computed by subtraction within the same size class.

Hypothesis: Computed by addition not within the same size class.
Relation: contradiction