subset and powerset proof by contra

Printable View