The mathematical work of Walter Ledermann