Bauer's Theorem

See Bauer's Identical Congruence