P
Initializing...
Residual identity: D⁻(Xv) - A(Xv) = X · D⁻(v) · Prove2Me