Elke welgevormde haakuitdrukking kan uitgedrukt worden als een som van vectorproducten: H=r•q⊕<r•p>⊕<s•p>⊕<s•q>

We zien hier een som in het gepaste patroon van de afgeleiden naar ℵ van de volgende vier mogelijke primitieven (r⊗q)_ℵ, (r⊗p)_ℵ, (s⊗p)_ℵ, (s⊗q)_ℵ.

Dus meer dan afgeleiden hebben we niet nodig om een tralie op te spannen.

Maar we hebben ook al bewezen dat diezelfde welgevormde haakuitdrukking kan geschreven worden als H=<<>>•(r•q⊕<r•p>)⊕r•s•(<r•p>⊕<r•q>) waarbij we r en s de interne of externe standpunten genoemd hebben. In deze uitdrukking verschijnen slechts drie vectorproducten: r•q, r•p en r•s met een gemeenschappelijke factor r en dus zijn er slechts de afgeleiden naar ℵ van drie mogelijke primitieven nodig en voldoende (r⊗q)_ℵ, (r⊗p)_ℵ, (r⊗s)_ℵ.