P

Initializing...

(5.1) — conjugate pairs form a monotone relation: (x − x′ | y − y′) ≥ 0 · Prove2Me