[see also: consequently, follow, hence, so, therefore
It will thus be sufficient to...... [= therefore]
Once this is done, the proof continues thus:...... [= in this way]
The function thus defined is a semigroup morphism.