help with proving a set to be compact

Printable View