Математическое доказательство должно напоминать простое и четкое созвездие, а не беспорядочное скопление звезд Млечного Пути.