P
Initializing...
D⁺(X*u)=0 iff D⁺u + Au=0 · Prove2Me