proof involving subests

Printable View