Theorie X Gelijkwaardige formules
Eerst een willekeurige variabele invullen in de eerste formule. De uitkomst hiervan invullen in de andere formule. Komt de eerste willekeurige variabele er weer uit dan nog een keer een andere variabele invullen. Klopt het dan gelijkwaardige formules.