take the I -satisfied Subset of the set ; :: thesis: the I -satisfied Subset of the set is I -satisfied
thus the I -satisfied Subset of the set is I -satisfied ; :: thesis: verum