Proof of Prop. 4.1:

Herbrand's theorem implies that the eigenspace
Cl(Z[zeta_p])(omega^-1) is trivial. Leopoldt's
Spiegelungsatz implies then that the eigenspace
Cl(Z[zeta_p])(omega^2)  is also trivial.

In a few places in the proof this is used.