take the S -premises-like Subset of S ; :: thesis: the S -premises-like Subset of S is S -premises-like
thus the S -premises-like Subset of S is S -premises-like ; :: thesis: verum