Es sei α {\displaystyle {}\alpha } ein S {\displaystyle {}S} -Ausdruck. Zeige, dass es einen S {\displaystyle {}S} -Ausdruck β {\displaystyle {}\beta } der Form β = α ∧ γ {\displaystyle {}\beta =\alpha \wedge \gamma } derart gibt, dass
gilt.