Proving D is onto

Printable View