29.11.
     Die Notation ‘x1, x2, x3 …’ macht den Ausdruck ‘(∃ …) zur Gestalt & damit die R-bewiesene Tautologie.