逆に4次以下の交代群が単純にならない理由