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