Если теория является ролью архитектора, то такие прекрасные доказательства являются ролью мастера. Конечно, как и в случае с великими художниками эпохи Возрождения, такие роли не являются взаимоисключающими. Великий собор обладает как структурной впечатляющей, так и деликатной детализацией. Великая математическая теория должна быть прекрасна как в больших, так и в маленьких масштабах.