彼らは学生時代に数学の命題とか証明の問題を解けたのだろうか