Theorem 5.2, proof — the origin and $e_1, \dots, e_n$ are vertices of every $\mathrm{STAB}(G)$

Initializing...

Theorem 5.2, proof — the origin and $e_1, \dots, e_n$ are vertices of every $\mathrm{STAB}(G)$ · Prove2Me