Некий персонаж говаривал: "Нафик биде-то нужно?" Так что не всякая инженерная сущность не сверхнеобходима:)
А Ваше доказательство тем более показывает, что принцип вовсе не философский, а скорее информационный и в перефразировке будет звучать так: "не вводи в последовательность избыточные или сократимые члены":)