Mathematician:Rudolf Lidl