Sætning 1: Så er udligningsfaktoren igen hele domænet `` X'', da den universelle kvantificering i definitionen er vakuum-egnet. Sætning 2: Så er udligningsværdien igen hele domænet `` X'', da den universelle kvantificering i definitionen er vakuøst sand. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Ja, det gør jeg.