Надпись на могиле математика: "Что и требовалось доказать".