Te bewijzen: <p>p ↔ <>

Bewijs

Veronderstel dat p te vervangen is door <>, dan is <p>p te vervangen door <<>><>, dat te vervangen is door <>.

Veronderstel dat p te vervangen is door <<>>, dan is <p>p te vervangen door <<<>>><<>>, dat te vervangen is door <>.

QED