[sth; doing sth; see also: miss
We should avoid using (2) here, since...... [Not: “avoid to use”]
To avoid undue repetition in the statements of our theorems, we adopt the following convention.
This example indicates that the inductive argument in the proof of Theorem 1 is unavoidable.