change of variables question in 1st order proof

Printable View