Upprunaleg setning: Sem dæmi geta tveir aðilar A og B haft samskipti þannig að aðili A býr til einkalykil K-E og dreifilykil K-D og kunngjörir K-D en geymir K-E á öruggum stað .
Leiðrétt setning: Sem dæmi geta tveir aðilar A og B haft samskipti þannig að aðili A býr til einkalykil K-E og dreifilykil K-D og kunngjörir K-D en geymir K-E á öruggum stað .