В математике из двух равно строгих доказательств мы предпочтем то, что короче, чтобы не перегружать память. Несколько таинственное понятие красоты доказательства на самом деле почти всегда сводится к его краткости (что совсем не удивительно, если вспомнить, что красота движений практически равнозначна их экономичности).