Hogy lehet bemutatni, hogy a tetszőleges A, B, C-re érvényes az alábbi összefüggés? (A/B) /C = (A/B) ∩ (A/C)

Lásd be hogy minden X-re ha X eleme a bal oldalnak, akkor a jobb oldalnak is, és, ha X eleme a jobb oldalnak, akkor a bal oldalnak is.

Másik lehetõség hogy kétszer lerajzolod Venn-diagrammon a három krumplit, és, besatírozod az egyenlet mindkét oldalát, és, konstatálod hogy ugyanaz van besatírozva.

Harmadik lehetõség hogy felbontod a zárójeleket, és, reménykedsz hogy ugyanazok a betûk fognak állni mindkét oldalon. (Talán van is erre valamilyen tétel hogy minden kifejezésnek van és egyértelmû a "legegyszerûbb alakja", így, ha az egyenlet mindkét oldalát egymástól függetlenül legegyszerûbb alakba rendezed, akkor látni fogod hogy megegyeznek. Azaz minden ilyen egyenletet algoritmikusan le lehet vezetni.)