prove M is complete

Printable View