P

Initializing...

§4.2.4, p. 9: reduction to $e_i = 1$ ($\mathrm{OPT}' = \mathrm{OPT}$) · Prove2Me