В. А. Успенский. Простейшие примеры математических доказательств