Hasse's_norm_theorem loading ...