A contribution to a theorem of Ulam and Mazur Benz, Walter Berens, Hubert 1987 - Forschungsinformationssystem der UHH