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