Hasse's theorem on cyclic extensions