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

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