Te bewijzen: <> slorpt alle structuren op die tussen één en dezelfde haak staan. <> is dus dominant. In contrast hiermee zouden we kunnen stellen dat <<>> recessief is.

Bewijs

Beschouw een reeks structuren die naast een <> staan binnen dezelfde haak. Elk haakblok uit de reeks is nu te herleiden tot ofwel <>, ofwel <<>>. Naast elkaar geplaatst met een <> levert dat in beide gevallen steeds een <> op. Dus <> slorpt op.

Beschouw een reeks structuren die naast <<>> staan binnen dezelfde haak. Elk haakblok uit te reeks is nu te herleiden tot ofwel <>, ofwel <<>>. Naast elkaar geplaatst met een <<>> levert dat enkel een <<>> op indien elke haak uit de reeks te herleiden is tot <<>>. Dus <<>> is recessief.

QED