  Stickelberger proved that the discriminant of a number field is congruent to
0 or 1 modulo 4. We generalize this to an arbitrary (not necessarily
commutative) ring of finite rank over the integers using techniques from linear
algebra. Our proof, which relies only on elementary matrix identities, is new
even in the classical case.
