Элегантность математической теоремы прямо пропорциональна количеству независимых идей, которые можно увидеть в теореме и обратно пропорционально усилиям, необходимым для их увидеть.