proof about a subset

Printable View