John Wrench — American mathematician (1911-2009)