P
Initializing...
Lemma 7 — interchanging the last two elements does not change the circuit rank · Prove2Me