Legyenek feltételek és függvények, és tegyük fel, hogy a feltételek lefedik az halmazt. Legyen az alábbi módon definiálva:

Tétel: Ekkor az függvény értéke kiszámolható az alábbi elágazással:

Bizonyítás: Az elágazás levezetési szabálya alapján a megoldás triviálisan teljesül.

_