В конце доказательства теоремы о перестановочности циклов, есть такие слова:
Циклы $(\alpha_1\ ...\ \alpha_m)$ и $(\beta_1 ... \beta_l)$ входят в это рассуждение симметрично. Поэтому эти циклы перестановочны и на множестве $B$.
В целом ясно, что подразумевается. что достаточно взять $y \in B$ и циклы окажутся перестановочными и в этом случае (как как цикл $A$ переводит элемент $y$ опять же в сам $y$, оставляя его "на месте").
