局所類体論の叙述には、Hazewinkelのアイデアは用いますか?