Proofs often become short and elegant if the universal property is used rather than the concrete details.
Доказательства часто становятся более короткими и элегантными, если в них используется универсальное свойство, а не конкретные детали.