Subo clase proof