$AFq$

Vale in 2,3, 6

$EG \ AFr$

$AFr$ vale in 2, 3, 5, chiamo $\alpha = AFr$

→ $EG\alpha$ vale in 1