Likewise also in the case of things that are made equal he assumes that if things that assume one and the same magnitude become equal, then also things that become equal assume one magnitude: ie he assumes the consequent.