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