P
Initializing...
§1.1 (below eq. (1.4)): D is not invertible · Prove2Me