P
Initializing...
Weak duality between (20) and (21), Sect. 5.1.4, p. 17 — gives (22) · Prove2Me