Displaying similar documents to “A congruence for the index of a unit of a real abelian number field”