well-defined proof

Printable View