опять же, как я это понимаю: если какую-то вещь можно объяснить без привлечения посторонних понятий и без придумывания новых, следует объяснять наиболее простым способом. лишнее в доказательстве является ненеужным, а лишнее - это все, что выбивается за рамки необходимого для доказательства минимума.