Eblas listi la tutajn aranĝaĵojn de valoroj por ĉiu variablo kaj pruvi ke, por ĉiu el ili, se la maldekstra parto de la derivo certas tiam la dekstra parto ankaŭ certas.
Por 
variabloj, estos pruvendaj 
okazoj.
Tamen, kvantoroj jen estas problemo, ĉar jam partoprenas domajno. Kaj estas neeble listi iajn domajnon, ĉar domajno povas enhavi infinitojn elementojn.