Как там писал Харди? Чтобы отвечать эстетическим требованиям, математическое доказательство, как и шахматная задача, должно обладать тремя качествами: неминуемостью, неожиданностью и экономией; оно «должно напоминать простое и четкое созвездие, а не беспорядочное скопление звезд Млечного Пути».
