start

1

We may thus assume from the start that ......

We now fulfil the promise made at the start of the proof by handling the case of $G=S_n$.

2

Lemma 3 suggests that we start by considering $A_1$.