Aleksei Pogorelov (1919-2002)