P
Initializing...
(2.1) — auxiliary-term decrease inequality · Prove2Me