kan nooit gelijk worden aan , welke waarde je ook aan k geeft.
A → WAAR, neem k = 0
B → WAAR, neem k = 1
C → WAAR, neem k =
D → ONWAAR, geen k te vinden
E → WAAR, neem k waarvoor 1 − 2k = 2000