Een gevolg van stelling 7 is dat, ongeacht de inbedding diepte, de q te schrappen is binnen de volgende haakuitdrukkingen.

<<<pq>rq>sq>q ↔ <<<p>r>s>q

<pq><rq><sq>q ↔ <p><r><s>q

Bijvoorbeeld:

a<<a>b>

a<<>b>

a<<>>

a