P
Initializing...
Theorem 4 — a circuit in N + e contains e iff e is dependent on N · Prove2Me