Assistance on a recursive proof

Printable View