Our main result associates a family of congruences with each suitable system of nilpotent subgroups of a finite group. Using this result, we complete and correct the proof of a theorem of Hirsch concerning the class number ...