Hasse-Arf theorem

1. REDIRECT Hasse–Arf theorem

{{R from modification}}