一类三次域的Iwasawa不变量

证明；若Ｐ是素数，满足Ｐ≡４，７，（ｍｏｄ ９），且３是模Ｐ的三次非剩余则域的分圆Ｚ３扩张的Ｉｗａｓａｗａ不变量满足λ＝μ＝０，υ＝。