Tom Lehrer: matematica e satira in musica